package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Solver State

This module defines various interfaces for states used in main loops of solvers (or other binaries) using dolmen.

Useful type aliases

type source = [

]

type phase = [

]

type mode = [

]

module type Pipeline = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Pipeline.Make functor.

module type Parser_pipe = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Parser.Pipe functor.

module type Typer = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Typer.Make functor.

module type Typer_pipe = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Typer.Pipe functor.

module type Header_pipe = sig ... end

This modules defines the smallest signatures for a solver state that allow to instantiate the Headers.Pipe functor.