package bap-frames

  1. Overview
  2. Docs
include Enumerated
type t
val rank : t -> int
val all : t list
val subs : (t * int) list

subs is a list of substitions (t, ind); ... , where an explicit index ind is set to a particular variant t.