sig type ('a, 'b) t val name : string end