Module type Flags_intf.Flags

module type Flags = sig .. end

module type Make_arg = Flags_intf.Make_arg
module type S = Flags_intf.S
module Make: 
functor (M : Make_arg) -> S with type t = Int63.t
Flags.Make builds a new flags module.