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 : Format.formatter -> error_desc -> unit
val emit_error : (Location.t * error_desc) -> unit
val bailout : unit -> 'a
type env = {
  1. formula : bool;
  2. asset_name : Ident.ident option;
  3. function_p : (M.lident * (M.lident * M.type_ * M.mterm option) list) option;
}
val mk_env : ?formula:bool -> ?asset_name:Ident.ident -> ?function_p:(M.lident * (M.lident * M.type_ * M.mterm option) list) -> unit -> env
val to_model : A.ast -> M.model
OCaml

Innovation. Community. Security.