package js_of_ocaml-compiler

  1. Overview
  2. Docs
package js_of_ocaml-compiler
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make_Imperative.SolverSource

Parameters

module D : DOMAIN

Signature

Sourceval f : NTbl.size -> t -> (D.t NTbl.t -> N.t -> D.t) -> D.t NTbl.t
Sourceval f' : NTbl.size -> t -> (update:(children:bool -> N.t -> unit) -> D.t NTbl.t -> N.t -> D.t) -> D.t NTbl.t
Sourceval check : t -> D.t NTbl.t -> (update:(children:bool -> N.t -> unit) -> D.t NTbl.t -> N.t -> D.t) -> (N.t -> D.t -> D.t -> unit) -> unit