Module Types

module Parse_ctypes : sig ... end

This file handles translation and desugaring between the types concrete syntax (defined in Type_parser) to the abstract syntax (defined in TypedC).

module Type_check_tree : sig ... end

module TypedC : sig ... end

TypedC: Grammar for describing the types for the type-based domain, and operations on concrete types.