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

Module `Serlib.Ser_stm`Source

Sourcetype focus = Stm.focus

Sourceval sexp_of_focus : Stm.focus -> Sexplib.Sexp.t

Sourceval focus_of_sexp : Sexplib.Sexp.t -> Stm.focus