package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Term_based.Assert_false`

module Make
  (Terms : Terms.Sig.TERMS) : 
  Term_based_sig.Domain_S with module Terms = Terms