package bap-frames

  1. Overview
  2. Docs
module type Enumerated = sig ... end
module type Enumerable = sig ... end

Replaces @@deriving enum interface from ppx_deriving, that treats variants with argument-less constructors as enumerations with an integer value assigned to every constructor.

module type Substitution = sig ... end
module Make (A : Enumerated) : Enumerable with type t := A.t
module Make_substitute (S : Substitution) : Enumerable with type t := S.t