package prbnmcn-mcts

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Mcts_state is a module type describing a type of states 'a t and the actions of type 'a available in that state.

type 'a t

'a t is the type of states, with 'a being the type of actions available at that state.

val equal_choice_type : 'a t -> 'b t -> ('a, 'b) refl_eq option

equal_choice_type st1 st2 must return Some Refl if the type of actions of st1 and st2 are equal, and None otherwise.

Note that the underlying states need not be equal.

val hash_choice : 'a t -> 'a -> int

hash_choice state must implement a hash function for actions available in state.

val equal_choice : 'a t -> 'a -> 'a -> bool

equal_choice state must implement an equality function for actions available in state.