Module Types.Checked

type ('a, 'f) t = ( 'a, 'f ) Checked0.t