package jenga

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Specifies for a given directory dir

  • its rule-scheme, ie a specification of what rules are available in that directory
  • whether jenga can create the directory if it doesn't already exist. If directories_generated_from = None, jenga will assume dir exists. If directories_generated_from = Some path, then path must be a prefix of dir, and jenga will create all the ancestors of dir and descendants of path (both inclusive) as needed. These values are assumed to be consistent, ie if the specification for dir states directories_generated_from = Some path, then the specification for any directory below path (inclusive) must state the same.
type t = {
  1. scheme : Scheme.t;
  2. directories_generated_from : Path.t option;
}