let
record_type_of_list l = tySem_of_list (
List
.map ty_of_sbt l)