type t
val apply_at_every_level : (t -> t) -> t -> t
val applies_for_every_applicable_level : (t -> t option) -> t -> t list
val zero : t
val one : t
val separate_star : t -> t option
val make_plus : t -> t -> t
val make_times : t -> t -> t
val make_star : t -> t
