package archetype

  1. Overview
  2. Docs

Module Archetype.Gen_modelSource

Sourcemodule A = Ast
Sourcemodule M = Model
Sourceexception Anomaly
Sourcetype error_desc =
  1. | CannotConvertToAssignOperator
  2. | CannotExtractBody
  3. | AnyNotAuthorizedInTransitionTo
  4. | NoRemoveAllOnCollection
  5. | RecordNotFound of Ident.ident
Sourceval pp_error_desc : Format.formatter -> error_desc -> unit
Sourceval emit_error : (Location.t * error_desc) -> unit
Sourceval bailout : unit -> 'a
Sourcetype env = {
  1. formula : bool;
  2. asset_name : Ident.ident option;
}
Sourceval mk_env : ?formula:bool -> ?asset_name:Ident.ident -> unit -> env
Sourceval to_model : A.ast -> M.model