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 : Ppx_sexp_conv_lib.Sexp.t -> evaluable_global_reference
Sourceval sexp_of_evaluable_global_reference : evaluable_global_reference -> Ppx_sexp_conv_lib.Sexp.t