Module Clock_type


module Clock_type: sig .. end
Definition of clock types and subtyping constraints.
Author(s): Louis Mandel, Florence Plateau


Data structures



type clock_type_variable =
| Alpha of int
Clock type varaible: 'a_n.

type clock_type =
| CT_var of clock_type_variable
| CT_on of clock_type * Pbword.periodic_binary_word
Clock type: ct ::= 'a | ct on p.

type subtype_cstr =
| Subtype of clock_type * clock_type
Subtyping constraint: 'a_x on p_1 on ... <: 'a_y on p_2 on ....

Printing functions


val fprint_clock_type_var : Format.formatter -> clock_type_variable -> unit
val fprint_clock_type : Format.formatter -> clock_type -> unit
val fprint_subtyping_cstr : Format.formatter -> subtype_cstr -> unit
val fprint_subtyping_cstrs : Format.formatter -> subtype_cstr list -> unit