Module Occurrence

module Occurrence: sig .. end

type occurs = 
| UP_INT of int
| UNBOUNDED
type occurrence_indicator = occurs * occurs 
val occurs : int -> occurs
val unbounded : occurs
val occurs_zero : occurs
val occurs_one : occurs
val ub_max : occurs -> occurs -> occurs
val ub_min : occurs -> occurs -> occurs
val ub_add : occurs -> occurs -> occurs
val ub_mult : occurs -> occurs -> occurs
val mult : occurs -> occurs -> occurs
val minus : int -> occurs -> occurs
val equal : occurs -> occurs -> bool
val le : occurs -> occurs -> bool
val string_of_occurs : occurs -> string
val one : occurrence_indicator
val optional : occurrence_indicator
val star : occurrence_indicator
val plus : occurrence_indicator
val is_one : occurrence_indicator -> bool
val is_optional : occurrence_indicator -> bool
val is_star : occurrence_indicator -> bool
val is_plus : occurrence_indicator -> bool
val mult_occurrences : occurrence_indicator ->
occurrence_indicator -> occurrence_indicator
val seq_occurrences : occurrence_indicator ->
occurrence_indicator -> occurrence_indicator
val approximate_occurrences : occurrence_indicator -> occurrence_indicator