open Prims
let normal (x : 'a) : 'a= x
type ('a, 'f, 'l) big_and' = Obj.t
type ('a, 'f, 'l) big_and = Obj.t
type ('a, 'f, 'l) big_or' = Obj.t
type ('a, 'f, 'l) big_or = Obj.t
type ('a, 'f) symmetric = unit
type ('a, 'f) reflexive = unit
type ('a, 'f) anti_reflexive = unit
type ('a, 'f, 'l) pairwise_and' = Obj.t
type ('a, 'f, 'l) pairwise_and = Obj.t
type ('a, 'f, 'l) pairwise_or' = Obj.t
type ('a, 'f, 'l) pairwise_or = Obj.t
