Module Owi.Interpret_intf

module type Memory_data = sig ... end
module type P = sig ... end
module type S = sig ... end