Module type A.B

type t