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