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
Loading...