Module type Visitor_behavior.Get