Module `Sstt.Op`

High-level operations on types.

exception EmptyAtom

Exception raised by some operations on tuples and records.

module Arrows : sig ... end

Operations on arrow types.

module TupleComp : sig ... end

Operations on tuple types.

module Records : sig ... end

Operations on record types.