package libabsolute

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Domains.D2`

Type of domain combinator of arity 2 (e.g products)

module Make (A : Signature.Domain) (B : Signature.Domain) : Signature.Domain