package prbnmcn-dagger

  1. Overview
  2. Docs

Module type definitions

module type Foldable = sig ... end

Abstract foldable containers

module type Field = sig ... end

Field

module type Infix = sig ... end

Infix operators

module type Core = sig ... end
module type S = sig ... end

Module type describing the DSL, implemented by inference backends.