Parameter Make._

val occurs : target:Big.t -> pattern:Big.t -> bool