Trac (Trac)

module Number : sig ... end

val binop : 
  string ->
  (float -> float -> float) ->
  'a ->
  string list ->
  ('b * string, string * string * string list) Stdlib.result

val unop : 
  string ->
  (float -> float) ->
  'a ->
  string list ->
  ('b * string, string * string * string list) Stdlib.result

val ad : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val su : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val ml : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val dv : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val cmp : 
  string ->
  (string -> string -> bool) ->
  'a ->
  string list ->
  ('b * string, string * string * string list) Stdlib.result

val eq : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val gr : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val nyi : 
  string ->
  'a ->
  string list ->
  ('b, string * string * string list) Stdlib.result

val cm : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val ds : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val segment : string -> string list -> Types.form

val ss : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val cl : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val cs : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val cc : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val cn : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val in' : 
  'a ->
  string list ->
  ('b, string * string * string list) Stdlib.result

val cr : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val dd : 
  Types.state ->
  Types.M.key list ->
  (Types.state * string, 'a) Stdlib.result

val da : Types.state -> 'a -> (Types.state * string, 'b) Stdlib.result

val bu : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val bi : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val bc : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val bs : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val br : 'a -> string list -> ('b, string * string * string list) Stdlib.result

val tn : Types.state -> 'a -> (Types.state * string, 'b) Stdlib.result

val tf : Types.state -> 'a -> (Types.state * string, 'b) Stdlib.result

val ex : 
  Types.state ->
  string list ->
  (Types.state * string, string * string * string list) Stdlib.result

val prims : 
  (Types.state ->
    Types.M.key list ->
    (Types.state * string, string * string * Types.M.key list) Stdlib.result)
    Types.M.t

val aabbcat : string

val tests : 
  ((string, string * string * string list) Stdlib.result * string) list

module Ex : sig ... end