Legend:
Library
Module
Module type
Parameter
Class
Class type
val succ : ( 'a -> 'b goal' ) -> ( _ OCanren__Logic.ilogic -> 'a ) -> 'b goal'
val zero : 'a -> 'a
val one : ( _ OCanren__Logic.ilogic -> goal ) -> goal
val two : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val three : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val four : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val five : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val q : ( _ OCanren__Logic.ilogic -> goal ) -> goal
val qr : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val qrs : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val qrst : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal
val pqrst : ( _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> _ OCanren__Logic.ilogic -> goal ) -> goal