Record.Datatype projection_flags = {pf_coercion : bool; |
pf_reversible : bool; |
pf_instance : bool; |
pf_priority : int option; |
pf_locality : Goptions.option_locality; |
pf_canonical : bool; |
}type t = {id : Names.Id.t; |
idbuild : Names.Id.t; |
is_coercion : bool; |
proj_flags : projection_flags list; |
rdata : raw_data; |
inhabitant_id : Names.Id.t; |
}