Module Arr

module Arr: sig  end

Inference system for the theory Th.arr of functional array
Author(s): Harald Ruess, N. Shankar

module Infsys: sig  end

Inference system for the theory Th.arr of extensional arrays as defined in module Funarr.

module Ops: Can.OPS

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