package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Anomaly of string
type error_desc =
  1. | UnsupportedTerm of string
val pp_error_desc : Ppx_deriving_runtime.Format.formatter -> error_desc -> Ppx_deriving_runtime.unit
val show_error_desc : error_desc -> Ppx_deriving_runtime.string
val emit_error : error_desc -> 'a
val const_storage : string
val const_state : string
val const_operations : string
val const_result : string
type operator =
  1. | Equal
  2. | Nequal
  3. | Lt
  4. | Le
  5. | Gt
  6. | Ge
  7. | Plus
  8. | Minus
  9. | Mult
  10. | Div
  11. | Modulo
type position =
  1. | Lhs
  2. | Rhs
val pp_cast : position -> Model.type_ -> Model.type_ -> (Stdlib.Format.formatter -> Model.mterm -> unit) -> Stdlib.Format.formatter -> Model.mterm -> unit
val pp_str : Stdlib.Format.formatter -> string -> unit
val to_lident : 'a -> 'a Location.loced
val pp_nothing : Stdlib.Format.formatter -> unit
type action = {
  1. name : Ident.ident;
  2. fun_name : Ident.ident;
  3. args : (Ident.ident * Model.type_) list;
}
module LigoUtils : sig ... end
val pp_model_internal : Stdlib.Format.formatter -> Model.model -> bool -> unit
val pp_model : Stdlib.Format.formatter -> Model.model -> unit
val pp_storage : Stdlib.Format.formatter -> Model.model -> unit
val string_of__of_pp : (Stdlib.Format.formatter -> 'a -> unit) -> 'b -> string
val show_model : Model.model -> string