type literal_t = {
  felix_type: string;         (* as defined in the library **)
  internal_value: string;     (* internal value for computations **)
  c_value: string;            (* C representation to emit into code **)
}