package archetype

  1. Overview
  2. Docs
module A = Ast
module M = Model
exception Anomaly
type error_desc =
  1. | CannotConvertToAssignOperator
  2. | CannotExtractBody
  3. | AnyNotAuthorizedInTransitionTo
  4. | NoRemoveAllOnCollection
  5. | RecordNotFound of Ident.ident
val show_error_desc : error_desc -> Ppx_deriving_runtime.string
type error = Location.t * error_desc
val pp_error_desc : Stdlib.Format.formatter -> error_desc -> unit
val emit_error : (Location.t * error_desc) -> unit
val bailout : unit -> 'a
val unloc_longident : A.longident -> Ident.ident
val longident_to_lident : A.longident -> M.lident
type env = {
  1. formula : bool;
  2. asset_name : Ident.ident option;
  3. function_p : (M.mident * (M.mident * M.type_ * M.mterm option) list) option;
}
val pp_env : Ppx_deriving_runtime.Format.formatter -> env -> Ppx_deriving_runtime.unit
val mk_env : ?formula:bool -> ?asset_name:Ident.ident -> ?function_p:(M.mident * (M.mident * M.type_ * M.mterm option) list) -> unit -> env
val to_model : (Typing.env * A.ast) -> M.model
OCaml

Innovation. Community. Security.