package codex

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

Module MTBDD_Make.With_SetSource

Parameters

module TerminalSet : sig ... end

Signature

Sourceval add : t -> BDD.bdd -> Terminal.t -> t
Sourceval update : t -> BDD.bdd -> (Terminal.t -> Terminal.t) -> t
Sourceval find : t -> BDD.bdd -> TerminalSet.t