Module Occurrence

module Occurrence: sig .. end

type occurs = 

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