Module type Mina_intf.Transition_handler_intf

type transition_frontier
type transition_frontier_breadcrumb