module Clock_type: sig
.. end
Definition of clock types and subtyping constraints.
Author(s): Louis Mandel, Florence Plateau
Data structures
type
clock_type_variable =
Clock type varaible: 'a_n
.
type
clock_type =
Clock type: ct ::= 'a | ct on p
.
type
subtype_cstr =
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