Up – Package index » alba » Library alba.albalib » Albalib » Build_context » Application

Module `Build_context.Application`Source

Sourceval start : int -> t -> t

start nargs bc Start a function application with nargs arguments.

val apply : 
  int ->
  Term.Application_info.t ->
  t ->
  (t, type_in_context * type_in_context) result

apply n_remaining mode bc Apply the function to the argument. There are n_remaining remaining arguments.