Module MetaProverState_intf.S.C

module C: E.C