package bin_prot

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

Module Canonical.CreateSource

Sourceval annotate : Uuid.t -> Exp.t -> Exp.t

Create.create defs exp constructs a canonical-shape. The defs give context for sub-expressions of the form: apply n exps; n being a reference to the n'th definition in defs.

Definition are required for records and variants, but may also occurs for any cyclic expression: in this case being constructed using define.

Within a definition body, var i refers to the i'th formal type-var, and corresponds to the i'the argument of an application args.

Sourceval basetype : Uuid.t -> Exp.t list -> Exp.t
Sourceval tuple : Exp.t list -> Exp.t
Sourceval poly_variant : Location.t -> (string * Exp.t option) list -> Exp.t
Sourceval var : int -> Exp.t
Sourceval apply : Def.t -> Exp.t list -> Exp.t
Sourceval recurse : int -> Exp.t list -> Exp.t
Sourceval define : Exp.t -> Def.t
Sourceval record : (string * Exp.t) list -> Exp.t
Sourceval variant : (string * Exp.t list) list -> Exp.t
Sourceval create : Exp.t -> t
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