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
     and type 'a valuation := 'a Stdlib.Map.Make(Var).t
     and type const_values := int Stdlib.Map.Make(Const).t