package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Single_value_abstraction.DummySource

Code when you need new transfer functions that fail when they are called. Start here when you implement a new single-value abstraction.

Sourcemodule Make (UnimplementedId : sig ... end) : sig ... end