Up – Package index » coq-lsp » Library coq-lsp.coq » Coq » Interp

Module `Coq.Interp`Source

Sourcetype 'a interp_result = ('a, Loc.t) Protect.E.t

Sourceval interp : st:State.t -> Ast.t -> State.t interp_result