package OCanren

You can search for identifiers within the package.

in-package search v0.2.0

package OCanren

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

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class `Bool.foldl_ground_t`

constraint 'extra_ground = ground

inherit ['syn, 'extra_ground] GT.foldl_bool_t