matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli

   1 (*
   2     ||M||  This file is part of HELM, an Hypertextual, Electronic
   3     ||A||  Library of Mathematics, developed at the Computer Science
   4     ||T||  Department, University of Bologna, Italy.
   5     ||I||
   6     ||T||  HELM is free software; you can redistribute it and/or
   7     ||A||  modify it under the terms of the GNU General Public License
   8     \   /  version 2 or (at your option) any later version.
   9      \ /   This software is distributed as is, NO WARRANTY.
  10       V_______________________________________________________________ *)
  11
  12 val raise_error: RolesTypes.error -> 'a
  13
  14 val list_union: ('a -> RolesTypes.error) -> ('a -> 'a -> int) ->
  15                 ('b*'a) list -> ('b*'a) list -> ('b*'a) list
  16
  17 val list_nth: int -> ('a * 'b) list -> 'b
  18
  19 val list_toggle: int -> (bool * 'b) list -> (bool * 'b) list
  20
  21 val list_toggle_all: (bool * 'b) list -> (bool * 'b) list
  22
  23 val string_of_version: RolesTypes.version -> string
  24
  25 val version_of_string: string -> RolesTypes.version
  26
  27 val string_of_name: RolesTypes.name -> string
  28
  29 val name_of_string: string -> RolesTypes.name
  30
  31 val compare_names: RolesTypes.name -> RolesTypes.name -> int
  32
  33 val string_of_obj: RolesTypes.obj -> string
  34
  35 val obj_of_string: string -> RolesTypes.obj
  36
  37 val new_status: RolesTypes.status
  38
  39 val pointer_of_string: string -> RolesTypes.pointer
  40
  41 val string_of_error: RolesTypes.error -> string