functor (Bsml : Bsmlsig.BSML) ->
  sig
    val bsml_begin : unit -> unit
    val bsml_end : unit -> unit
    exception Get_failure of string
    val get :
      'a Bsml.par -> int list Bsml.par -> (int, 'a) Hashtbl.t Bsml.par
    exception Put_failure of string
    val put : (int * 'a) list Bsml.par -> (int, 'a) Hashtbl.t Bsml.par
    val bsml_abort_string : string -> unit
    val scatter :
      ('a -> (int * 'b) list) -> int -> 'a Bsml.par -> 'b Bsml.par
    exception Unsafe_proj
    val safe_proj : 'a Bsml.par -> 'a
  end