package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Abstract integral type.

This module describes an interface of an integral arithmetic type, as well as the Make functor, that derives a module that implements this interface from a module that provides the minimal (Base) interface

module type Base = sig ... end

The minimal interface of an integer.

module type S = sig ... end

The integer signature.

module Make (T : Base) : S with type t = T.t

Derive S from the minimal implementation.