package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type argument_type =
  1. | ListArgType of argument_type
  2. | OptArgType of argument_type
  3. | PairArgType of argument_type * argument_type
  4. | ExtraArgType of string
type user_symbol =
  1. | Ulist1 of user_symbol
  2. | Ulist1sep of user_symbol * string
  3. | Ulist0 of user_symbol
  4. | Ulist0sep of user_symbol * string
  5. | Uopt of user_symbol
  6. | Uentry of string
  7. | Uentryl of string * int
type extend_token =
  1. | ExtTerminal of string
  2. | ExtNonTerminal of user_symbol * string option
val mlexpr_of_list : ('a -> MLast.expr) -> 'a list -> MLast.expr
val mlexpr_of_pair : ('a -> MLast.expr) -> ('b -> MLast.expr) -> ('a * 'b) -> MLast.expr
val mlexpr_of_bool : bool -> MLast.expr
val mlexpr_of_int : int -> MLast.expr
val mlexpr_of_string : string -> MLast.expr
val mlexpr_of_option : ('a -> MLast.expr) -> 'a option -> MLast.expr
val mlexpr_of_name : ('a -> MLast.expr) -> 'a option -> MLast.expr
val mlexpr_of_prod_entry_key : (string -> MLast.expr) -> user_symbol -> MLast.expr
val type_of_user_symbol : user_symbol -> argument_type
val parse_user_entry : string -> string -> user_symbol
val mlexpr_of_symbol : user_symbol -> MLast.expr