Jukebox.InferTypes

type Function'

type Variable'

type Type'

inferTypes

solve

generate