Module State.ProofSource

Sourcetype t

OCaml poly hash for Coq proof state.

Sourceval equal : ?kind:Inspect.t -> t -> t -> bool

equal ?kind st1 st2 kind defaults to Inspect.Physical

Sourceval hash : t -> int