Up
module
Gen_key
:
sig
#
type
t
include
Core.Std.Hashable_binable
with
type
t :=
t
include
Core.Std.Comparable_binable
with
type
t :=
t
#
val
create : dir:
Path
.Rel.t
->
t
#
val
to_string :
t
->
string
#
val
directory :
t
->
Path
.Rel.t
#
val
of_goal :
Goal
.
t
->
t
#
val
bin_t :
t
Core.Std.Bin_prot.Type_class.t
#
val
bin_read_t :
t
Core.Std.Bin_prot.Read.reader
#
val
__bin_read_t__ : (int
->
t
) Core.Std.Bin_prot.Read.reader
#
val
bin_reader_t :
t
Core.Std.Bin_prot.Type_class.reader
#
val
bin_size_t :
t
Core.Std.Bin_prot.Size.sizer
#
val
bin_write_t :
t
Core.Std.Bin_prot.Write.writer
#
val
bin_writer_t :
t
Core.Std.Bin_prot.Type_class.writer
#
val
compare :
t
->
t
->
int
#
val
t_of_sexp : Sexplib.Sexp.t
->
t
#
val
sexp_of_t :
t
->
Sexplib.Sexp.t
end