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