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

Sourcetype add_focus = Stm.add_focus

Sourceval sexp_of_add_focus : Stm.add_focus -> Sexplib.Sexp.t

Sourceval add_focus_of_sexp : Sexplib.Sexp.t -> Stm.add_focus