package js_of_ocaml-compiler

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module N : sig ... end
module NSet : ISet with type elt = N.t
module NTbl : Tbl with type key = N.t

Signature

type t = {
  1. domain : NSet.t;
  2. iter_children : (N.t -> unit) -> N.t -> unit;
}
val invert : NTbl.size -> t -> t
module type DOMAIN = sig ... end
module Solver (D : DOMAIN) : sig ... end