Module Polarity

module Polarity: sig .. end

type t = 

val inv : t -> t

val equal : 'a -> 'a -> bool

val to_string : t -> string

val is_pos : t -> bool

val is_neg : t -> bool

val pp : CCFormat.t -> t -> unit