package combine

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = Zdd.t

val create : ?primary:int -> bool array array -> t

val find_solution : t -> solution

val iter_solution : (solution -> unit) -> t -> unit

val count_solutions : t -> int

module type ARITH = sig ... end

module Count (A : ARITH) : sig ... end