package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

sha256=4817038301d3e45bac9edf7e6f2fc8bf0a6d78e76e02ad7ea33ef69bcc17df3b

md5=25234357587126685d64f16236167937

Sourceval start : int -> t -> t

start nargs bc Start a function application with nargs arguments.

val apply : 
  int ->
  Alba_core.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.