package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=439b1dce07c86e914d1ebf1712c5581418314b0c8d13594f27a698b1d25fe272

md5=5cf58d4ed4eacbe6f330e9d2378ef5c6

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.