package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Archetype.Printer_model_ligoSource

Sourceexception Anomaly of string
Sourcetype error_desc =
  1. | UnsupportedTerm of string
Sourceval emit_error : error_desc -> 'a
Sourceval const_storage : string
Sourceval const_state : string
Sourceval const_operations : string
Sourceval const_result : string
Sourcetype operator =
  1. | Equal
  2. | Nequal
  3. | Lt
  4. | Le
  5. | Gt
  6. | Ge
  7. | Plus
  8. | Minus
  9. | Mult
  10. | Div
  11. | Modulo
Sourcetype position =
  1. | Lhs
  2. | Rhs
Sourceval pp_str : Format.formatter -> string -> unit
Sourceval to_lident : 'a -> 'a Location.loced
Sourceval pp_nothing : Format.formatter -> unit
Sourcetype action = {
  1. name : Ident.ident;
  2. fun_name : Ident.ident;
  3. args : (Ident.ident * Model.type_) list;
}
Sourcemodule LigoUtils : sig ... end
Sourceval pp_model_internal : Format.formatter -> Model.model -> bool -> unit
Sourceval pp_model : Format.formatter -> Model.model -> unit
Sourceval pp_storage : Format.formatter -> Model.model -> unit
Sourceval string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'a -> string
Sourceval show_model : Model.model -> string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct