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