package KaSim

  1. Overview
  2. Docs
module type OrderedType = sig ... end
type (!'parameters, !'error, !'a) with_log_wrap = ('parameters -> 'error -> string -> string option -> exn -> 'error) -> 'parameters -> 'error -> 'a
module type Set = sig ... end
module type Map = sig ... end
module type S = sig ... end
module Make (Ord : OrderedType) : sig ... end
module type Projection = sig ... end
module Proj (A : S) (B : S) : sig ... end
module type Projection2 = sig ... end
module Proj2 (A : S) (B : S) (C : S) : sig ... end