Module Prolog_code

type fact =
  1. | At of entity * Common.filename * int
  2. | Kind of entity * Entity_code.entity_kind
  3. | Type of entity * string
  4. | Extends of string * string
  5. | Implements of string * string
  6. | Mixins of string * string
  7. | Privacy of entity * Entity_code.privacy
  8. | Call of entity * entity
  9. | UseData of entity * entity * bool option
  10. | Special of entity * entity * entity * string
  11. | Misc of string
and entity = string list * string
val string_of_fact : fact -> string
val entity_of_str : string -> entity
val string_of_entity_kind : Entity_code.entity_kind -> string