Up – bastet » Bastet » Test » Option » M » Involutive_Heyting_Algebra

Module `M.Involutive_Heyting_Algebra`

Parameters

IHA : Interface.INVOLUTIVE_HEYTING_ALGEBRA
A : sig ... end

Signature

module V : sig ... end

val suite : string -> T.test T.suite