Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » StaticOperations » Make

Module `StaticOperations.Make`Source

Parameters

module C : CONFIG

Signature

val annotate_constraint_binop : 
  loc:'a AST.annotated ->
  StaticEnv.env ->
  AST.binop ->
  AST.int_constraint list ->
  AST.int_constraint list ->
  AST.int_constraint list