package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Single_value_abstraction.Dummy`Source

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