Module Build.Integer

val unknown : level:int -> Transfer_functions.Term.integer t
include Transfer_functions.Integer_Forward with module Arity := Transfer_functions.Forward_Arity and type boolean = Transfer_functions.Term.boolean t and type integer = Transfer_functions.Term.integer t