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
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
val to_model : A.model -> M.model
OCaml

Innovation. Community. Security.