package lambda-term

  1. Overview
  2. Docs
type t
val empty : t
val get : string -> t -> string
val add : string -> string -> t -> t
val merge : t -> t -> t
exception Error of string
val get_bool : string -> t -> bool option
val get_color : string -> t -> LTerm_style.color option
val get_style : string -> t -> LTerm_style.t
val get_connection : string -> t -> LTerm_draw.connection
exception Parse_error of string * int * string
val parse : string -> t
val load : string -> t Lwt.t
val home : string