type t = string as 'x
type t = ((string, float) => unit) as 'x
type t = ((string, float) => unit) as 'x
type t = (string, float) => (unit as 'x)
