Module Serlib.Ser_tacredSource

Sourcemodule Names = Ser_names
Sourcetype evaluable_global_reference = Tacred.evaluable_global_reference =
  1. | EvalVarRef of Names.Id.t
  2. | EvalConstRef of Names.Constant.t
Sourceval evaluable_global_reference_of_sexp : Sexplib0.Sexp.t -> evaluable_global_reference
Sourceval sexp_of_evaluable_global_reference : evaluable_global_reference -> Sexplib0.Sexp.t
Sourceval evaluable_global_reference_to_yojson : evaluable_global_reference -> Yojson.Safe.t
Sourceval _ : Yojson.Safe.t -> evaluable_global_reference Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_evaluable_global_reference : Ppx_hash_lib.Std.Hash.state -> evaluable_global_reference -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_evaluable_global_reference : evaluable_global_reference -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_evaluable_global_reference : evaluable_global_reference -> evaluable_global_reference -> int