Up  Next

Module Nl.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