OCanren 0.3.0 (latest) · OCaml Package

OCanren

package OCanren

OCanren
- OCanren
  - Env
    
    Monad
    
    Syntax
  - Fresh
  - NUMERAL_TYPS
  - PrunesControl
  - Reifier
  - Runconf
  - State
  - Std
    
    Bool
    
    compare_ground_t
    
    compare_logic'_t
    
    compare_logic_t
    
    compare_t_t
    
    eq_ground_t
    
    eq_logic'_t
    
    eq_logic_t
    
    eq_t_t
    
    fmt_ground_t
    
    fmt_logic'_t
    
    fmt_logic_t
    
    fmt_t_t
    
    foldl_ground_t
    
    foldl_logic'_t
    
    foldl_logic_t
    
    foldl_t_t
    
    foldr_ground_t
    
    foldr_logic'_t
    
    foldr_logic_t
    
    foldr_t_t
    
    gmap_ground_t
    
    gmap_logic'_t
    
    gmap_logic_t
    
    gmap_t_t
    
    ground_t
    
    html_ground_t
    
    html_logic'_t
    
    html_logic_t
    
    html_t_t
    
    logic'_t
    
    logic_t
    
    show_ground_t
    
    show_logic'_t
    
    show_logic_t
    
    show_t_t
    
    t_t
    
    List
    
    compare_ground_t
    
    compare_list_t
    
    compare_logic'_t
    
    compare_logic_t
    
    compare_t_t
    
    eq_ground_t
    
    eq_list_t
    
    eq_logic'_t
    
    eq_logic_t
    
    eq_t_t
    
    fmt_ground_t
    
    fmt_list_t
    
    fmt_logic'_t
    
    fmt_logic_t
    
    fmt_t_t
    
    foldl_ground_t
    
    foldl_list_t
    
    foldl_logic'_t
    
    foldl_logic_t
    
    foldl_t_t
    
    foldr_ground_t
    
    foldr_list_t
    
    foldr_logic'_t
    
    foldr_logic_t
    
    foldr_t_t
    
    gmap_ground_t
    
    gmap_list_t
    
    gmap_logic'_t
    
    gmap_logic_t
    
    gmap_t_t
    
    ground_t
    
    html_ground_t
    
    html_list_t
    
    html_logic'_t
    
    html_logic_t
    
    html_t_t
    
    list_t
    
    logic'_t
    
    logic_t
    
    show_ground_t
    
    show_list_t
    
    show_logic'_t
    
    show_logic_t
    
    show_t_t
    
    t_t
    
    Nat
    
    compare_ground_t
    
    compare_logic'_t
    
    compare_logic_t
    
    compare_t_t
    
    eq_ground_t
    
    eq_logic'_t
    
    eq_logic_t
    
    eq_t_t
    
    fmt_ground_t
    
    fmt_logic'_t
    
    fmt_logic_t
    
    fmt_t_t
    
    foldl_ground_t
    
    foldl_logic'_t
    
    foldl_logic_t
    
    foldl_t_t
    
    foldr_ground_t
    
    foldr_logic'_t
    
    foldr_logic_t
    
    foldr_t_t
    
    gmap_ground_t
    
    gmap_logic'_t
    
    gmap_logic_t
    
    gmap_t_t
    
    ground_t
    
    html_ground_t
    
    html_logic'_t
    
    html_logic_t
    
    html_t_t
    
    logic'_t
    
    logic_t
    
    show_ground_t
    
    show_logic'_t
    
    show_logic_t
    
    show_t_t
    
    t_t
    
    Option
    
    compare_ground_t
    
    compare_logic'_t
    
    compare_logic_t
    
    compare_t_t
    
    eq_ground_t
    
    eq_logic'_t
    
    eq_logic_t
    
    eq_t_t
    
    fmt_ground_t
    
    fmt_logic'_t
    
    fmt_logic_t
    
    fmt_t_t
    
    foldl_ground_t
    
    foldl_logic'_t
    
    foldl_logic_t
    
    foldl_t_t
    
    foldr_ground_t
    
    foldr_logic'_t
    
    foldr_logic_t
    
    foldr_t_t
    
    gmap_ground_t
    
    gmap_logic'_t
    
    gmap_logic_t
    
    gmap_t_t
    
    ground_t
    
    html_ground_t
    
    html_logic'_t
    
    html_logic_t
    
    html_t_t
    
    logic'_t
    
    logic_t
    
    show_ground_t
    
    show_logic'_t
    
    show_logic_t
    
    show_t_t
    
    t_t
    
    Pair
    
    compare_ground_t
    
    compare_logic'_t
    
    compare_logic_t
    
    compare_t_t
    
    eq_ground_t
    
    eq_logic'_t
    
    eq_logic_t
    
    eq_t_t
    
    fmt_ground_t
    
    fmt_logic'_t
    
    fmt_logic_t
    
    fmt_t_t
    
    foldl_ground_t
    
    foldl_logic'_t
    
    foldl_logic_t
    
    foldl_t_t
    
    foldr_ground_t
    
    foldr_logic'_t
    
    foldr_logic_t
    
    foldr_t_t
    
    gmap_ground_t
    
    gmap_logic'_t
    
    gmap_logic_t
    
    gmap_t_t
    
    ground_t
    
    html_ground_t
    
    html_logic'_t
    
    html_logic_t
    
    html_t_t
    
    logic'_t
    
    logic_t
    
    show_ground_t
    
    show_logic'_t
    
    show_logic_t
    
    show_t_t
    
    t_t
  - Stream
  - Tabling
  - Timer
  - compare_logic_t
  - eq_logic_t
  - fmt_logic_t
  - foldl_logic_t
  - foldr_logic_t
  - gmap_logic_t
  - html_logic_t
  - logic_t
  - reified
  - show_logic_t
pa_ocanren
- Pa_ocanren
tester
- Tester

Legend:
Library
Module
Module type
Parameter
Class
Class type

constraint 'extra_ground = ground

inherit 'extra_ground GT.fmt_bool_t