Module Directive.Choice

type side =
  1. | Consequent
  2. | Alternative
type t
val do_alternate : t -> unit
val is_alternative : t -> bool
val is_consequent : t -> bool