sig
  type rel_cmd_impl_type = Post | Pre | Mixed
  val rel_cmd_impl_names :
    (Option.ScmWrapper.rel_cmd_impl_type * string) list
  type extrapolation_type =
      Bisim_fwd
    | Bisim_bwd
    | Bisim_both
    | Lang_fwd
    | Lang_bwd
    | Lang_both
    | Identity
  val extrapolation_names :
    (Option.ScmWrapper.extrapolation_type * string) list
  type extrapol_coloring_type = Final | Init | Both | None | Auto
  val extrapol_coloring_names :
    (Option.ScmWrapper.extrapol_coloring_type * string) list
  type channel_policy_type = Lossy | Perfect | Normal
  val channel_policy_names :
    (Option.ScmWrapper.channel_policy_type * string) list
  val rel_cmd_impl_opt : Option.ScmWrapper.rel_cmd_impl_type Pervasives.ref
  val extrapolation_opt : Option.ScmWrapper.extrapolation_type Pervasives.ref
  val extrapol_coloring_opt :
    Option.ScmWrapper.extrapol_coloring_type Pervasives.ref
  val channel_policy_opt :
    Option.ScmWrapper.channel_policy_type Pervasives.ref
  val rel_cmd_impl : unit -> Option.ScmWrapper.rel_cmd_impl_type
  val extrapolation : unit -> Option.ScmWrapper.extrapolation_type
  val extrapol_coloring : unit -> Option.ScmWrapper.extrapol_coloring_type
  val channel_policy : unit -> Option.ScmWrapper.channel_policy_type
  val arg_spec : unit -> (string * Arg.spec * string) list
end