Functor Ac.Ops

module Ops: functor (Sig : SIG) -> Can.OPS

Various operations on flat equalities.

Parameters:

Sig : Ac.SIG

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