Module S.BuilderSource

Sourceval op_siso : ff:(t -> t) -> fd:(t -> t) -> df:(t -> t -> t -> t) -> r:(t -> op) -> t -> t
Sourceval op_sipo : ff:(t -> t * t) -> fd:(t -> t * t) -> df:(t -> t -> t -> t) -> r:((t * (t ref * t ref) * (t ref * t ref)) -> op) -> t -> t * t
Sourceval op_sito : ff:(t -> t * t * t) -> fd:(t -> t * t * t) -> df:(t -> t -> t -> t) -> r:((t * (t ref * t ref * t ref) * (t ref * t ref * t ref)) -> op) -> t -> t * t * t
Sourceval op_siao : ff:(t -> t array) -> fd:(t -> t array) -> df:(t -> t -> t -> t) -> r:((t * t ref array * t ref array) -> op) -> t -> t array
Sourceval op_piso : ff:(t -> t -> t) -> fd:(t -> t -> t) -> df_da:(t -> t -> t -> t -> t) -> df_db:(t -> t -> t -> t -> t) -> df_dab:(t -> t -> t -> t -> t -> t) -> r_d_d:(t -> t -> op) -> r_d_c:(t -> t -> op) -> r_c_d:(t -> t -> op) -> t -> t -> t
Sourcemodule type Siso = sig ... end
Sourceval build_siso : (module Siso) -> t -> t
Sourcemodule type Sipo = sig ... end
Sourceval build_sipo : (module Sipo) -> t -> t * t
Sourcemodule type Sito = sig ... end
Sourceval build_sito : (module Sito) -> t -> t * t * t
Sourcemodule type Siao = sig ... end
Sourceval build_siao : (module Siao) -> t -> t array
Sourcemodule type Piso = sig ... end
Sourceval build_piso : (module Piso) -> t -> t -> t
Sourcemodule type Aiso = sig ... end
Sourceval build_aiso : (module Aiso) -> t array -> t