anchor.diff:          | CapacityConst (_, _, constant) ->
               constant
   
  +// Convert Juniper template apply to C++ template apply
   and compileTemplateApply (templateApp : TemplateApply) : string =
       output "<" +
       ((List.append
  
positive.code:     (List.append tyVars capVars |> String.concat ", " |> output) +
      output ">"
  
  and compileCap (cap : CapacityExpr) : string =
      match cap with
          | CapacityNameExpr (_, _, name) ->
  
negative.code:         (CallExp {func = appliedDeath;
                    args = dummyWrap []})
  
  // Converts type from Juniper representation to C++ representation.
  and compileType (ty : TyExpr) : string =
      match ty with
          | BaseTy (_, _, bty) ->
  