123456 (* This file is free software, part of dolmen. See file "LICENSE" for more information *) type 'a t = .. constraint 'a = < .. >