Sig.Doc
Documentation information used for pretty-printing
val id : string
Unique identifier for the domain, eg "N", "FA",...
val name : Stdlib.Format.formatter -> unit -> unit
Full human readable name
val state_name : string
Name of the domain's states
val doc : string
Long description of the domain