sig type t val name : string end