Module Ctrl

module Ctrl: sig .. end
The module of bigraphical controls.
Author(s): Michele Sevegnani

type t = 
| C of string * int
C (s, ar) creates a control of arity ar named s.
val to_string : t -> string
to_string c gives the string representation of control c in the form "name:arity".
val arity : t -> int
arity c returns the arity of control c.
val name : t -> string
name c returns the name of control c.
val (=) : t -> t -> bool
Equality for type Ctrl.t.
val compare : t -> t -> int
Comparison function.