Skip to main content

pretty_find_with_representation

conjure_cp::ast::pretty

Function pretty_find_with_representation 

Source 
pub fn pretty_find_with_representation(
    decl: &DeclarationPtr,
    repr: &str,
) -> Option<String>
Expand description

Pretty-print a find/findAux declaration with repr annotated on its domain.

Example: find x: set (representation packed, maxSize 3) of int(1..4).