package dolmen_loop

  1. Overview
  2. Docs
module type Types = sig ... end
module type Typer = sig ... end

This modules defines a wrapper around the bare-bones typechecker provided by Dolmen_type. It provides convenience function to match on Dolmen untyped statements and type-check them.

module type Typer_Full = sig ... end

Extended signature for typer.

module type S = sig ... end

This modules defines the result signature of the Typer.Pipe functor