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