Module Lisp_evalSource

Sourceexception Signal of Lisp.t
Sourceval signal : string -> Lisp.t list -> 'a
Sourceval error : string -> 'a
Sourceval error_message : Lisp.t -> string
Sourcetype 'h state = {
  1. vars : (string * Lisp.t) list;
  2. funs : (string * Lisp.t) list;
  3. subrs : (string * 'h subr) list;
  4. specials : (string * 'h subr) list;
  5. commands : (string * Lisp.t) list;
  6. docs : (string * string) list;
  7. specpdl : (string * Lisp.t option) list;
  8. host : 'h;
  9. fuel : int;
  10. failed : 'h state option ref;
}
Sourceand 'h subr = 'h state -> Lisp.t list -> Lisp.t * 'h state
Sourceexception Error of Lisp.t
Sourceval protect : 'h state -> ('h state -> 'a * 'h state) -> ('a, Lisp.t) result * 'h state
Sourceval raise_error : 'h state -> Lisp.t -> 'a
Sourceval create : ?fuel:int -> 'h -> 'h state
Sourceval define_subr : ?interactive:string -> ?doc:string -> string -> 'h subr -> 'h state -> 'h state
Sourceval define_special : string -> 'h subr -> 'h state -> 'h state
Sourceval eval : 'h state -> Lisp.t -> Lisp.t * 'h state
Sourceval apply : 'h state -> Lisp.t -> Lisp.t list -> Lisp.t * 'h state
Sourceval progn : 'h state -> Lisp.t list -> Lisp.t * 'h state
Sourceval load : 'h state -> string -> 'h state
Sourceval get_var : 'h state -> string -> Lisp.t option
Sourceval set_var : string -> Lisp.t -> 'h state -> 'h state
Sourceval function_of : 'h state -> string -> Lisp.t option
Sourceval interactive_spec : 'h state -> Lisp.t -> Lisp.t option
Sourceval documentation : 'h state -> Lisp.t -> string option