package codex

  1. Overview
  2. Docs

Module TypesSource

Sourcemodule 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).

Sourcemodule Type_check_tree : sig ... end
Sourcemodule TypedC : sig ... end

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