package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Conjunctive : sig ... end
module Disjunctive : sig ... end
include sig ... end
val (=|=) : Eq.t -> Eq.t -> bool
include sig ... end
val (<||) : Ord.t -> Ord.t -> bool
val (||>) : Ord.t -> Ord.t -> bool
val (<|=) : Ord.t -> Ord.t -> bool
val (>|=) : Ord.t -> Ord.t -> bool
include sig ... end
include sig ... end
include sig ... end
val (-->) : Heyting_Algebra.t -> Heyting_Algebra.t -> Heyting_Algebra.t