Up – Package index » coq-serapi » Library coq-serapi.serlib » Serlib » Ser_goal

Module `Serlib.Ser_goal`Source

Sourcetype goal = Goal.goal

Sourceval goal_of_sexp : Sexplib.Sexp.t -> goal

Sourceval sexp_of_goal : goal -> Sexplib.Sexp.t