package links

  1. Overview
  2. Docs
Package contains no libraries
type state = {
  1. datatype : Types.datatype;
  2. context : Context.t;
}
type 'a result =
  1. | Result of {
    1. program : 'a;
    2. state : state;
    }
val return : state -> 'a -> 'a result
val with_type : Types.datatype option -> state -> state
val context : state -> Context.t
module type S = sig ... end
class virtual sugar_transformer : object ... end
module Make (T : sig ... end) : sig ... end