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