package lambda-term

  1. Overview
  2. Docs
package lambda-term
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Resolver.NormalSource

Sourceval try_count : (int option -> 'a -> keyseq -> result) -> 'a -> keyseq -> result
Sourceval try_motion : int option -> 'a -> keyseq -> result
Sourceval try_change_mode : status -> keyseq -> result
Sourceval try_modify : int option -> 'a -> keyseq -> result
Sourceval try_insert : int option -> 'a -> keyseq -> result
Sourceval try_motion_modify_insert : int option -> 'a -> keyseq -> result
Sourceval resolver_normal : status -> keyseq -> result