Up  

Module MoreLevelDb.Lambda (.ml)

module Lambda: sig .. end
type t =
| Var of string
| Lambda of string * t
| App of t * t 
val __t_of_sexp__ : Sexplib.Sexp.t -> t
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val to_string : t -> string
val get : LevelDB.db ->
       string -> t Core.Std.Option.t Async_kernel.Deferred.t
val put : LevelDB.db -> string -> t -> unit Async_kernel.Deferred.t
val put_all : LevelDB.db ->
       (string * t) Async.Std.Deferred.List.t ->
       unit Async_kernel.Deferred.t