Module `Ace__.Ace_types`

class type token = object ... end

class type position = object ... end

class type range = object ... end

class type binding = object ... end

class type annotation = object ... end

class type document = object ... end

class type editSession = object ... end

class type selection = object ... end

class type 'a editor = object ... end

and 'a command = object ... end

and 'a commandManager = object ... end

class type ace = object ... end

class type keybinding_menu = object ... end

class type 'a line_tokens = object ... end

class type 'state ace_mode_helpers = object ... end

class type ace_mode = object ... end