Module Synext.Comp

module Kind : sig ... end

External computation-level kinds.

module Typ : sig ... end

External computation-level types.

module Expression : sig ... end

External computation-level expressions.

module Case_branch : sig ... end

External case analysis branches.

module Cofunction_branch : sig ... end

External cofunction branches.

module Pattern : sig ... end

External computation-level patterns.

module Copattern : sig ... end

External computation-level copatterns.

module Context : sig ... end

External computation-level contexts.