InferDef

typealias InferDef = Nothing

infer: Infer