Module type Basic.c

module M : s