Module Arr.Ops


module Ops: Can.OPS
Various operations with a set of flat equalities of the form u = x * y as context.

val is_flat : Term.t -> bool
Parameters:
? : Term.t
val is_pure : Term.t -> bool
Parameters:
? : Term.t
val find : Partition.t * Solution.Set.t -> Jst.Eqtrans.t
Parameters:
(,) : Partition.t * Solution.Set.t
val inv : Partition.t * Solution.Set.t -> Jst.Eqtrans.t
Parameters:
(,) : Partition.t * Solution.Set.t