krb.internal
Krb_internal_public.Cursor_intf
krb.public
module type Arg = sig ... end
module type Cursor = sig ... end