namespace http://cds.omdoc.org/urtheories❚

import rules scala://cf.mmt.kwarc.info❚

theory CF =
   include ?PLF❙

   constant instance # instance 1❙
   new    # new 1❙
   rule rules?NewInstance❙
   field    # 1 . 2❙

   
   sequence # var V1;… in 2;…❙
   rule rules?Sequence❙

   None: type❙
   none: None❙
  
   assign # 1 = 2❙
   rule rules?Assignment❙
   rule rules?AssignmentTerm❙
❚