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

Module `Coq.Interp`Source

Sourcemodule Info : sig ... end

Sourcetype 'a interp_result = 'a Info.t Protect.E.t

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