Serlib.Ser_hintsval sexp_of_hint_db_name : hint_db_name -> Sexplib.Sexp.tval hint_db_name_of_sexp : Sexplib.Sexp.t -> hint_db_nameval sexp_of_hints_path_gen :
('a -> Sexplib.Sexp.t) ->
'a hints_path_gen ->
Sexplib.Sexp.tval hints_path_gen_of_sexp :
(Sexplib.Sexp.t -> 'a) ->
Sexplib.Sexp.t ->
'a hints_path_genval sexp_of_hints_path_atom_gen :
('a -> Sexplib.Sexp.t) ->
'a hints_path_atom_gen ->
Sexplib.Sexp.tval hints_path_atom_gen_of_sexp :
(Sexplib.Sexp.t -> 'a) ->
Sexplib.Sexp.t ->
'a hints_path_atom_genval sexp_of_hints_path : hints_path -> Sexplib.Sexp.tval hints_path_of_sexp : Sexplib.Sexp.t -> hints_pathval reference_or_constr_of_sexp : Sexplib.Sexp.t -> reference_or_constrval sexp_of_reference_or_constr : reference_or_constr -> Sexplib.Sexp.tval hint_info_expr_of_sexp : Sexplib.Sexp.t -> hint_info_exprval sexp_of_hint_info_expr : hint_info_expr -> Sexplib.Sexp.tval hint_info_expr_of_yojson :
Yojson.Safe.t ->
(hint_info_expr, string) Result.resultval hint_info_expr_to_yojson : hint_info_expr -> Yojson.Safe.tval hint_mode_of_sexp : Sexplib.Sexp.t -> hint_modeval sexp_of_hint_mode : hint_mode -> Sexplib.Sexp.tval hints_expr_of_sexp : Sexplib.Sexp.t -> hints_exprval sexp_of_hints_expr : hints_expr -> Sexplib.Sexp.tval hints_expr_of_yojson : Yojson.Safe.t -> (hints_expr, string) Result.resultval hints_expr_to_yojson : hints_expr -> Yojson.Safe.t