sig
  val meta_loc_patt : loc -> loc -> patt
  val meta_loc_expr : loc -> loc -> expr
end