package codex

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

Module Domain.ContextSource

Sourcetype t
Sourceval level : t -> int
Sourceval copy : t -> t
Sourceval assign : t -> t -> unit
Sourcetype 'a in_tuple
Sourcetype empty_tuple
Sourceval empty_tuple : unit -> empty_tuple in_tuple
Sourcetype 'a in_acc = bool * 'a in_tuple
Sourcetype 'a out_tuple
Sourcetype (!'a, !'b) result =
  1. | Result : bool * 'some in_tuple * (t -> 'some out_tuple -> 'a0 * 'b0 out_tuple) -> ('a0, 'b0) result