Module Nl

module Nl: sig  end

Inference system for the theory of nonlinear multiplication.
Author(s): Harald Ruess, N. Shankar

module Ops: Can.OPS

Various operations with a set of flat equalities of the form u = x * y as context.

module Infsys: sig  end

Inference system for nonlinear multiplication as an extension of the AC inference system Ac.Make instantiated with the signature Pprod.Sig of nonlinear multiplication.