package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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