Symbolic (cobol_common.Cobol

module NEL = Basics.NEL

module type SYMBOL = sig ... end

module type LINEXPR = sig ... end

module Linear_exprs
  (Var : SYMBOL)
  (Const : SYMBOL) : 
  LINEXPR with type var := Var.t and type const := Const.t