Class type Arith.db

class type [[> typ ]] db = object .. end

method typ_of_var : Var.t -> ([> typ ] as 'a)