Inductive componentT : Set := ComponentT {
  (** The type of the component. *)
  componentType     : componentTypeT;
  (** The name of the component. *)
  componentName     : string;
  (** The semantic of the component. *)
  componentSemantic : componentSemanticT;
}.
