Module Option.ScmWrapper


module ScmWrapper: sig .. end


type rel_cmd_impl_type =
| Post
| Pre
| Mixed
val rel_cmd_impl_names : (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 : (extrapolation_type * string) list

type extrapol_coloring_type =
| Final
| Init
| Both
| None
| Auto
val extrapol_coloring_names : (extrapol_coloring_type * string) list

type channel_policy_type =
| Lossy
| Perfect
| Normal
val channel_policy_names : (channel_policy_type * string) list
val rel_cmd_impl_opt : rel_cmd_impl_type ref
val extrapolation_opt : extrapolation_type ref
val extrapol_coloring_opt : extrapol_coloring_type ref
val channel_policy_opt : channel_policy_type ref
val rel_cmd_impl : unit -> rel_cmd_impl_type
val extrapolation : unit -> extrapolation_type
val extrapol_coloring : unit -> extrapol_coloring_type
val channel_policy : unit -> channel_policy_type
val arg_spec : unit -> (string * Arg.spec * string) list