sig
  type 'a par
  val argv : string array
  val bsp_p : int
  val within_bounds : int -> bool
  val bsp_g : float
  val bsp_l : float
  val bsp_r : float
  exception Invalid_processor of int
  exception Timer_failure of string
  val mkpar : (int -> 'a) -> 'a Bsmlsig.BSML.par
  val apply :
    ('a -> 'b) Bsmlsig.BSML.par -> 'a Bsmlsig.BSML.par -> 'b Bsmlsig.BSML.par
  val put : (int -> 'a) Bsmlsig.BSML.par -> (int -> 'a) Bsmlsig.BSML.par
  val proj : 'a Bsmlsig.BSML.par -> int -> 'a
  val abort : int -> string -> 'a
  val start_timing : unit -> unit
  val stop_timing : unit -> unit
  val get_cost : unit -> float Bsmlsig.BSML.par
end