let trailing_types_RE = Pcre.regexp "\\.types$"
let heading_cic_RE = Pcre.regexp "^cic:"
let heading_theory_RE = Pcre.regexp "^theory:"
let trailing_types_RE = Pcre.regexp "\\.types$"
let heading_cic_RE = Pcre.regexp "^cic:"
let heading_theory_RE = Pcre.regexp "^theory:"