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