module ScmWrapper: sig
.. end
type
rel_cmd_impl_type =
val rel_cmd_impl_names : (rel_cmd_impl_type * string) list
=
| |
Bisim_fwd |
| |
Bisim_bwd |
| |
Bisim_both |
| |
Lang_fwd |
| |
Lang_bwd |
| |
Lang_both |
| |
Identity |
: (extrapolation_type * string) list
=
| |
Final |
| |
Init |
| |
Both |
| |
None |
| |
Auto |
: (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
: extrapolation_type ref
: extrapol_coloring_type ref
val channel_policy_opt : channel_policy_type ref
val rel_cmd_impl : unit -> rel_cmd_impl_type
: unit -> extrapolation_type
: unit -> extrapol_coloring_type
val channel_policy : unit -> channel_policy_type
val arg_spec : unit -> (string * Arg.spec * string) list